[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 150 149 126 125 125 151 125 125

N.S.

1 1.01 1.00 0.85 0.84 0.84 1.01 0.84 0.84

time (sec)

N/A 0.351 0.006 0.282 0.192 0.248 0.024 0.265 0.063

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 149 126 125 125 155 125 125

N.S.

1 1.00 1.00 0.85 0.84 0.84 1.04 0.84 0.84

time (sec)

N/A 0.296 0.005 0.288 0.197 0.262 0.024 0.266 0.063

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 88 146 125 124 124 150 124 124

N.S.

1 0.99 1.64 1.40 1.39 1.39 1.69 1.39 1.39

time (sec)

N/A 0.243 0.005 0.283 0.203 0.245 0.027 0.268 0.062

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 141 122 121 121 148 121 121

N.S.

1 1.00 1.00 0.87 0.86 0.86 1.05 0.86 0.86

time (sec)

N/A 0.285 0.004 0.313 0.186 0.255 0.024 0.267 0.060

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 146 142 123 125 122 150 125 122

N.S.

1 1.03 1.00 0.87 0.88 0.86 1.06 0.88 0.86

time (sec)

N/A 0.284 0.008 0.254 0.224 0.254 0.079 0.267 0.063

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 139 122 121 127 143 121 121

N.S.

1 1.00 1.00 0.88 0.87 0.91 1.03 0.87 0.87

time (sec)

N/A 0.282 0.007 0.273 0.188 0.252 0.078 0.286 0.059

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 145 142 123 125 129 150 135 122

N.S.

1 1.02 1.00 0.87 0.88 0.91 1.06 0.95 0.86

time (sec)

N/A 0.300 0.007 0.288 0.245 0.237 0.096 0.262 0.060

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 89 56 44 102 48 60 54 42

N.S.

1 1.33 0.84 0.66 1.52 0.72 0.90 0.81 0.63

time (sec)

N/A 0.217 0.084 0.355 0.284 0.238 0.606 0.268 7.729

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 72 51 39 93 43 54 45 37

N.S.

1 1.41 1.00 0.76 1.82 0.84 1.06 0.88 0.73

time (sec)

N/A 0.194 0.070 0.278 0.280 0.238 0.576 0.262 7.817

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 47 42 30 67 34 48 38 32

N.S.

1 1.07 0.95 0.68 1.52 0.77 1.09 0.86 0.73

time (sec)

N/A 0.173 0.070 0.258 0.267 0.237 0.515 0.278 7.564

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 65 69 49 99 56 75 76 45

N.S.

1 1.12 1.19 0.84 1.71 0.97 1.29 1.31 0.78

time (sec)

N/A 0.209 0.125 0.464 0.283 0.252 4.779 0.294 7.607

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 61 71 49 88 72 83 91 51

N.S.

1 1.03 1.20 0.83 1.49 1.22 1.41 1.54 0.86

time (sec)

N/A 0.210 0.125 0.467 0.282 0.245 3.307 0.283 7.887

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 61 72 54 91 72 76 129 56

N.S.

1 0.97 1.14 0.86 1.44 1.14 1.21 2.05 0.89

time (sec)

N/A 0.209 0.198 0.438 0.269 0.247 2.850 0.276 7.739

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

58 63 60 48 59 59 63 116 43

N.S.

1 1.09 1.03 0.83 1.02 1.02 1.09 2.00 0.74

time (sec)

N/A 0.197 0.175 0.356 0.293 0.243 2.569 0.270 7.866

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 223 82 40 0 69 78 0 0

N.S.

1 1.07 0.39 0.19 0.00 0.33 0.38 0.00 0.00

time (sec)

N/A 0.379 4.641 5.138 0.000 0.084 1.029 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 197 68 40 0 63 78 0 0

N.S.

1 1.03 0.35 0.21 0.00 0.33 0.41 0.00 0.00

time (sec)

N/A 0.310 3.957 1.841 0.000 0.080 0.912 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 183 48 37 0 58 76 0 0

N.S.

1 1.04 0.27 0.21 0.00 0.33 0.43 0.00 0.00

time (sec)

N/A 0.272 3.569 1.237 0.000 0.082 0.820 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 181 53 38 0 0 78 0 61

N.S.

1 1.06 0.31 0.22 0.00 0.00 0.46 0.00 0.36

time (sec)

N/A 0.285 3.520 1.356 0.000 0.000 0.994 0.000 7.773

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 199 54 40 0 0 83 0 0

N.S.

1 1.04 0.28 0.21 0.00 0.00 0.43 0.00 0.00

time (sec)

N/A 0.316 7.719 2.010 0.000 0.000 1.104 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 114 66 54 127 58 121 80 52

N.S.

1 1.37 0.80 0.65 1.53 0.70 1.46 0.96 0.63

time (sec)

N/A 0.224 0.103 0.327 0.281 0.242 0.938 0.270 7.642

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 93 61 49 118 53 109 71 47

N.S.

1 1.39 0.91 0.73 1.76 0.79 1.63 1.06 0.70

time (sec)

N/A 0.204 0.097 0.296 0.281 0.237 0.848 0.275 7.694

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 72 56 44 95 48 95 57 42

N.S.

1 1.20 0.93 0.73 1.58 0.80 1.58 0.95 0.70

time (sec)

N/A 0.179 0.088 0.282 0.266 0.238 0.794 0.268 7.539

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 90 79 56 138 67 117 90 55

N.S.

1 1.15 1.01 0.72 1.77 0.86 1.50 1.15 0.71

time (sec)

N/A 0.224 0.142 0.441 0.281 0.256 9.318 0.286 7.579

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 78 78 62 122 78 114 102 64

N.S.

1 0.96 0.96 0.77 1.51 0.96 1.41 1.26 0.79

time (sec)

N/A 0.224 0.161 0.497 0.281 0.248 4.354 0.286 8.020

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 89 83 65 123 82 133 146 71

N.S.

1 1.03 0.97 0.76 1.43 0.95 1.55 1.70 0.83

time (sec)

N/A 0.226 0.209 0.493 0.286 0.260 5.507 0.283 7.929

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 89 83 65 112 82 148 158 82

N.S.

1 1.09 1.01 0.79 1.37 1.00 1.80 1.93 1.00

time (sec)

N/A 0.232 0.229 0.479 0.292 0.262 5.793 0.310 8.079

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 251 74 40 0 79 160 0 0

N.S.

1 1.07 0.31 0.17 0.00 0.34 0.68 0.00 0.00

time (sec)

N/A 0.405 7.264 4.244 0.000 0.083 1.800 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 225 68 40 0 73 160 0 0

N.S.

1 1.03 0.31 0.18 0.00 0.33 0.73 0.00 0.00

time (sec)

N/A 0.358 5.812 1.875 0.000 0.082 1.645 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 207 49 38 0 68 158 0 0

N.S.

1 1.05 0.25 0.19 0.00 0.35 0.80 0.00 0.00

time (sec)

N/A 0.319 5.115 1.250 0.000 0.085 1.510 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 209 53 38 0 0 160 0 48

N.S.

1 1.05 0.27 0.19 0.00 0.00 0.80 0.00 0.24

time (sec)

N/A 0.328 4.853 1.355 0.000 0.000 1.840 0.000 7.765

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 211 54 40 0 0 163 0 0

N.S.

1 1.05 0.27 0.20 0.00 0.00 0.81 0.00 0.00

time (sec)

N/A 0.330 9.297 2.087 0.000 0.000 1.728 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 91 51 39 104 43 48 46 38

N.S.

1 1.36 0.76 0.58 1.55 0.64 0.72 0.69 0.57

time (sec)

N/A 0.220 0.073 0.309 0.281 0.243 0.742 0.293 7.874

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 63 42 30 76 34 32 37 32

N.S.

1 1.24 0.82 0.59 1.49 0.67 0.63 0.73 0.63

time (sec)

N/A 0.200 0.094 0.285 0.305 0.244 0.679 0.279 7.835

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 49 41 29 65 33 32 33 27

N.S.

1 1.40 1.17 0.83 1.86 0.94 0.91 0.94 0.77

time (sec)

N/A 0.172 0.076 0.279 0.360 0.244 0.634 0.266 7.852

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 28 32 20 42 26 22 26 19

N.S.

1 1.17 1.33 0.83 1.75 1.08 0.92 1.08 0.79

time (sec)

N/A 0.157 0.073 0.274 0.370 0.243 0.614 0.272 7.858

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 50 30 67 41 31 61 30

N.S.

1 1.05 1.32 0.79 1.76 1.08 0.82 1.61 0.79

time (sec)

N/A 0.180 0.090 0.375 0.347 0.243 2.769 0.285 0.298

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 44 46 31 47 47 31 66 31

N.S.

1 1.05 1.10 0.74 1.12 1.12 0.74 1.57 0.74

time (sec)

N/A 0.183 0.101 0.297 0.292 0.249 1.599 0.280 7.675

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 62 55 43 59 50 88 114 43

N.S.

1 1.07 0.95 0.74 1.02 0.86 1.52 1.97 0.74

time (sec)

N/A 0.209 0.158 0.326 0.297 0.255 3.948 0.280 7.783

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 192 74 40 0 59 75 0 0

N.S.

1 1.04 0.40 0.22 0.00 0.32 0.41 0.00 0.00

time (sec)

N/A 0.307 10.026 3.943 0.000 0.082 1.149 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 168 66 40 0 50 75 0 0

N.S.

1 1.01 0.40 0.24 0.00 0.30 0.45 0.00 0.00

time (sec)

N/A 0.272 10.038 1.765 0.000 0.079 1.050 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 157 48 38 0 47 73 0 0

N.S.

1 1.01 0.31 0.25 0.00 0.30 0.47 0.00 0.00

time (sec)

N/A 0.246 10.026 0.808 0.000 0.075 0.778 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 178 53 38 0 73 75 0 48

N.S.

1 1.03 0.31 0.22 0.00 0.42 0.43 0.00 0.28

time (sec)

N/A 0.280 10.038 1.323 0.000 0.080 0.813 0.000 8.229

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 192 54 40 0 84 80 0 0

N.S.

1 1.02 0.29 0.21 0.00 0.44 0.42 0.00 0.00

time (sec)

N/A 0.310 10.026 1.993 0.000 0.081 0.993 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 67 51 39 89 62 66 45 97

N.S.

1 1.16 0.88 0.67 1.53 1.07 1.14 0.78 1.67

time (sec)

N/A 0.227 0.111 0.304 0.271 0.240 6.472 0.264 8.231

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 44 32 63 58 48 39 89

N.S.

1 1.00 0.98 0.71 1.40 1.29 1.07 0.87 1.98

time (sec)

N/A 0.185 0.124 0.296 0.275 0.240 5.013 0.271 8.116

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 41 29 54 52 39 33 82

N.S.

1 1.00 1.17 0.83 1.54 1.49 1.11 0.94 2.34

time (sec)

N/A 0.169 0.111 0.290 0.294 0.250 4.341 0.263 8.066

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 22 31 31 16 16

N.S.

1 1.00 1.00 0.85 1.10 1.55 1.55 0.80 0.80

time (sec)

N/A 0.150 0.103 0.280 0.278 0.257 3.018 0.271 0.032

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 50 52 35 56 61 212 61 40

N.S.

1 1.09 1.13 0.76 1.22 1.33 4.61 1.33 0.87

time (sec)

N/A 0.186 0.143 0.320 0.272 0.257 7.463 0.279 7.974

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 69 59 43 68 77 228 82 47

N.S.

1 1.06 0.91 0.66 1.05 1.18 3.51 1.26 0.72

time (sec)

N/A 0.205 0.148 0.326 0.280 0.258 4.622 0.290 7.980

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 204 70 40 0 77 75 0 0

N.S.

1 1.04 0.36 0.20 0.00 0.39 0.38 0.00 0.00

time (sec)

N/A 0.316 10.040 3.572 0.000 0.080 2.097 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 183 68 40 0 98 75 0 0

N.S.

1 1.03 0.38 0.23 0.00 0.55 0.42 0.00 0.00

time (sec)

N/A 0.279 10.031 2.293 0.000 0.083 1.988 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 183 66 38 0 98 73 0 0

N.S.

1 1.02 0.37 0.21 0.00 0.54 0.41 0.00 0.00

time (sec)

N/A 0.276 10.032 1.568 0.000 0.083 1.974 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 206 71 38 0 107 75 0 48

N.S.

1 1.05 0.36 0.19 0.00 0.55 0.38 0.00 0.24

time (sec)

N/A 0.321 10.049 0.944 0.000 0.085 2.688 0.000 7.951

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 227 54 40 0 118 80 0 0

N.S.

1 1.06 0.25 0.19 0.00 0.55 0.37 0.00 0.00

time (sec)

N/A 0.368 10.025 2.083 0.000 0.087 3.003 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 269 189 2295 372 1571 21612 3620 1539

N.S.

1 1.00 0.70 8.53 1.38 5.84 80.34 13.46 5.72

time (sec)

N/A 0.453 0.429 0.752 0.234 0.264 2.913 0.347 8.616

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 67 153 122 129 129 134 132 121

N.S.

1 1.06 2.43 1.94 2.05 2.05 2.13 2.10 1.92

time (sec)

N/A 0.278 0.019 0.140 0.179 0.231 0.035 0.275 0.071

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 153 124 129 129 141 133 123

N.S.

1 1.00 1.00 0.81 0.84 0.84 0.92 0.87 0.80

time (sec)

N/A 0.329 0.018 0.132 0.192 0.231 0.025 0.261 7.625

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 49 151 124 129 129 136 133 123

N.S.

1 1.09 3.36 2.76 2.87 2.87 3.02 2.96 2.73

time (sec)

N/A 0.234 0.016 0.139 0.190 0.229 0.044 0.257 0.063

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 153 124 129 129 139 133 123

N.S.

1 1.00 1.00 0.81 0.84 0.84 0.91 0.87 0.80

time (sec)

N/A 0.314 0.015 0.128 0.187 0.239 0.028 0.283 0.064

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 33 149 124 129 129 133 133 123

N.S.

1 1.14 5.14 4.28 4.45 4.45 4.59 4.59 4.24

time (sec)

N/A 0.191 0.011 0.124 0.192 0.256 0.036 0.256 0.063

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 143 121 125 125 134 130 120

N.S.

1 1.00 1.00 0.85 0.87 0.87 0.94 0.91 0.84

time (sec)

N/A 0.293 0.013 0.145 0.183 0.238 0.032 0.253 0.064

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 88 149 122 130 127 131 134 121

N.S.

1 0.95 1.60 1.31 1.40 1.37 1.41 1.44 1.30

time (sec)

N/A 0.217 0.020 0.050 0.191 0.235 0.129 0.263 7.722

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 141 123 125 131 124 128 119

N.S.

1 1.00 1.00 0.87 0.89 0.93 0.88 0.91 0.84

time (sec)

N/A 0.300 0.023 0.051 0.219 0.244 0.125 0.254 0.064

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 147 123 130 133 131 144 120

N.S.

1 1.00 1.00 0.84 0.88 0.90 0.89 0.98 0.82

time (sec)

N/A 0.315 0.027 0.051 0.190 0.245 0.151 0.261 7.722

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 122 1121 192 759 11387 1848 1483

N.S.

1 1.00 0.60 5.52 0.95 3.74 56.09 9.10 7.31

time (sec)

N/A 0.344 0.090 0.647 0.207 0.256 2.325 0.304 8.341

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 85 29 61 61 76 61 61

N.S.

1 1.12 2.50 0.85 1.79 1.79 2.24 1.79 1.79

time (sec)

N/A 0.189 0.003 0.098 0.190 0.240 0.023 0.251 0.054

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 62 61 61 75 61 61

N.S.

1 1.00 1.00 0.75 0.73 0.73 0.90 0.73 0.73

time (sec)

N/A 0.221 0.007 0.107 0.194 0.229 0.022 0.252 0.053

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 27 83 20 61 61 75 61 61

N.S.

1 1.17 3.61 0.87 2.65 2.65 3.26 2.65 2.65

time (sec)

N/A 0.175 0.002 0.063 0.189 0.251 0.022 0.255 0.052

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 62 61 61 75 61 61

N.S.

1 1.00 1.00 0.75 0.73 0.73 0.90 0.73 0.73

time (sec)

N/A 0.210 0.003 0.102 0.185 0.247 0.020 0.263 0.051

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 10 61 61 71 76 61

N.S.

1 1.00 1.00 0.91 5.55 5.55 6.45 6.91 5.55

time (sec)

N/A 0.146 0.002 0.057 0.182 0.253 0.023 0.273 0.052

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 73 58 57 57 68 57 57

N.S.

1 1.00 1.00 0.79 0.78 0.78 0.93 0.78 0.78

time (sec)

N/A 0.202 0.003 0.106 0.182 0.238 0.028 0.271 0.051

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 80 59 62 58 75 62 58

N.S.

1 1.00 1.00 0.74 0.78 0.72 0.94 0.78 0.72

time (sec)

N/A 0.209 0.004 0.038 0.203 0.232 0.041 0.283 0.053

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 73 60 59 62 66 59 59

N.S.

1 1.00 1.00 0.82 0.81 0.85 0.90 0.81 0.81

time (sec)

N/A 0.205 0.003 0.034 0.219 0.235 0.038 0.268 0.052

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 80 61 62 64 75 69 60

N.S.

1 1.00 1.00 0.76 0.78 0.80 0.94 0.86 0.75

time (sec)

N/A 0.218 0.003 0.041 0.188 0.265 0.048 0.257 0.053

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 85 80 91 54 129 0 98 0

N.S.

1 0.59 0.55 0.63 0.37 0.89 0.00 0.68 0.00

time (sec)

N/A 0.230 1.049 2.247 0.275 0.257 0.000 0.270 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A A A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

83 62 276 45 31 29 150 40 103

N.S.

1 0.75 3.33 0.54 0.37 0.35 1.81 0.48 1.24

time (sec)

N/A 0.224 0.547 0.312 0.182 0.259 3.907 0.281 8.083

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 69 69 62 33 98 0 57 0

N.S.

1 0.71 0.71 0.64 0.34 1.01 0.00 0.59 0.00

time (sec)

N/A 0.193 1.027 1.510 0.267 0.273 0.000 0.270 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 67 125 48 35 33 0 60 83

N.S.

1 0.73 1.36 0.52 0.38 0.36 0.00 0.65 0.90

time (sec)

N/A 0.236 0.378 0.345 0.197 0.252 0.000 0.268 8.171

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 73 72 67 37 105 0 61 0

N.S.

1 0.72 0.71 0.66 0.37 1.04 0.00 0.60 0.00

time (sec)

N/A 0.206 1.029 1.577 0.269 0.260 0.000 0.273 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

137 80 165 58 48 48 0 128 125

N.S.

1 0.58 1.20 0.42 0.35 0.35 0.00 0.93 0.91

time (sec)

N/A 0.252 0.357 0.345 0.195 0.254 0.000 0.259 8.320

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 124 108 165 125 300 0 98 0

N.S.

1 0.81 0.71 1.08 0.82 1.96 0.00 0.64 0.00

time (sec)

N/A 0.260 1.048 2.086 0.279 0.276 0.000 0.264 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

77 54 181 37 65 42 0 38 48

N.S.

1 0.70 2.35 0.48 0.84 0.55 0.00 0.49 0.62

time (sec)

N/A 0.198 0.653 0.067 0.188 0.242 0.000 0.275 7.728

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 122 108 164 124 301 0 98 0

N.S.

1 0.78 0.69 1.05 0.79 1.93 0.00 0.63 0.00

time (sec)

N/A 0.233 1.041 1.281 0.273 0.275 0.000 0.264 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

161 98 92 87 88 119 0 106 0

N.S.

1 0.61 0.57 0.54 0.55 0.74 0.00 0.66 0.00

time (sec)

N/A 0.267 1.031 0.104 0.192 0.246 0.000 0.272 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 138 124 176 134 334 0 113 0

N.S.

1 0.73 0.65 0.93 0.71 1.76 0.00 0.59 0.00

time (sec)

N/A 0.309 1.051 1.224 0.272 0.268 0.000 0.271 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

223 129 130 120 138 205 0 182 0

N.S.

1 0.58 0.58 0.54 0.62 0.92 0.00 0.82 0.00

time (sec)

N/A 0.308 1.056 0.136 0.196 0.250 0.000 0.270 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

400 215 160 1099 491 853 0 2171 0

N.S.

1 0.54 0.40 2.75 1.23 2.13 0.00 5.43 0.00

time (sec)

N/A 0.414 0.458 0.123 0.213 0.277 0.000 0.361 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 153 112 495 243 381 0 993 0

N.S.

1 0.55 0.41 1.79 0.88 1.38 0.00 3.60 0.00

time (sec)

N/A 0.328 0.143 0.033 0.210 0.256 0.000 0.296 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 92 86 131 75 94 0 263 0

N.S.

1 0.60 0.56 0.86 0.49 0.61 0.00 1.72 0.00

time (sec)

N/A 0.265 0.064 0.027 0.201 0.249 0.000 0.267 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 106 78 0 0 0 0 0 0

N.S.

1 0.79 0.58 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.246 0.098 0.000 0.000 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 133 101 0 0 0 0 0 0

N.S.

1 0.86 0.66 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.265 0.109 0.000 0.000 0.000 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 49 25 40 86 47 155 32 59

N.S.

1 1.44 0.74 1.18 2.53 1.38 4.56 0.94 1.74

time (sec)

N/A 0.184 0.008 0.083 0.209 0.265 4.387 0.269 7.813

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 45 62 135 92 0 196 108

N.S.

1 1.00 0.52 0.72 1.57 1.07 0.00 2.28 1.26

time (sec)

N/A 0.236 0.059 0.121 0.195 0.267 0.000 0.301 7.926

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 115 68 99 196 140 0 331 169

N.S.

1 0.90 0.53 0.77 1.53 1.09 0.00 2.59 1.32

time (sec)

N/A 0.261 0.073 0.161 0.201 0.265 0.000 0.280 7.973

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 170 166 170 166 166 202 193 169

N.S.

1 1.02 1.00 1.02 1.00 1.00 1.22 1.16 1.02

time (sec)

N/A 0.448 0.039 0.147 0.188 0.271 0.038 0.273 0.045

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 166 170 166 166 204 193 169

N.S.

1 1.00 1.00 1.02 1.00 1.00 1.23 1.16 1.02

time (sec)

N/A 0.355 0.037 0.138 0.192 0.247 0.032 0.285 7.899

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 164 154 170 166 166 199 193 169

N.S.

1 0.99 0.93 1.02 1.00 1.00 1.20 1.16 1.02

time (sec)

N/A 0.406 0.047 0.128 0.193 0.259 0.036 0.320 0.028

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 161 166 163 163 199 189 165

N.S.

1 1.00 1.00 1.03 1.01 1.01 1.24 1.17 1.02

time (sec)

N/A 0.321 0.040 0.146 0.188 0.239 0.035 0.325 0.027

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 165 162 167 167 164 199 193 166

N.S.

1 1.02 1.00 1.03 1.03 1.01 1.23 1.19 1.02

time (sec)

N/A 0.337 0.077 0.040 0.192 0.244 0.138 0.271 7.774

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 156 167 162 168 185 185 163

N.S.

1 1.00 1.00 1.07 1.04 1.08 1.19 1.19 1.04

time (sec)

N/A 0.308 0.070 0.043 0.192 0.261 0.142 0.279 0.029

[next] [front] [up]